]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1814c28) | patch
extensions-app: Use AdwPreferencesPage's banner property
authorÓscar Fernández Díaz <oscfdezdz@tuta.io>
Mon, 11 Aug 2025 16:59:22 +0000 (18:59 +0200)
committerÓscar Fernández Díaz <oscfdezdz@tuta.io>
Mon, 11 Aug 2025 17:13:31 +0000 (19:13 +0200)
commit5ef7136748bf8978a5c3c938ebd64c249afb2f0b
tree4ab3b70c621ce480e06833d25044a59f37b3db43tree | snapshot
parent1814c28e5a267b826310b9edd6a2ff2148c08800commit | diff
extensions-app: Use AdwPreferencesPage's banner property

Simplifies the widget tree by removing the GtkBox between the main
GtkStackPage and its AdwPreferencesPage.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3833>
subprojects/extensions-app/data/ui/extensions-window.ui diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.